The Center for Information and Systems
نویسندگان
چکیده
The lack of precise numerical information for the values of biological parameters severely limits the development of models of genetic regulatory networks. To deal with this problem, we developed a method for the analysis of genetic regulatory networks with parameter uncertainty. More precisely, we consider genetic regulatory network models based on piecewise-multiaffine differential equations, dynamical properties expressed in temporal logic, and intervals for the values of uncertain parameters. The problem is then either to guarantee that the system satisfies the expected properties for every possible parameter value the corresponding set of parameter values is then called valid or to find valid subsets of the given parameter set. The proposed method uses discrete abstractions and model checking and allows to search efficiently the parameter space for valid sets. For the verification of liveness properties, an important class of dynamical properties, an extension of the proposed approach is needed to capture the requirement of progress of time. A solution to this second problem is proposed using the notion of transient sets. This approach has been implemented in a tool for the robust verification of genetic networks (RoVerGeNe) and applied to the tuning of a synthetic genetic regulatory network build in E. coli.
منابع مشابه
Evaluation of Radiology and Pathology Subsystems of Hospital Information Systems
Background & Aims: Compliance with standards of designing information systems leads to efficient utilization and ease of use for consumers. In this study, the compliance of the radiology and pathology subsystems of a hospital information system with ISO 9241 section 12 was assessed in selected hospitals affiliated with Kerman University of Medical Sciences, Iran. Methods...
متن کاملHospital Information System, a Tool for Effective Decision Making of Healthcare Managers
Statistics and information are considered the most important source of power in organizations and the source for all managerial activities. If correct and comprehensive information are readily at hand, incorrect decisions will be reduced to a minimum. The purpose of this study is to review the effects of hospital information system in regards to effectiveness of decisions made by managers. The ...
متن کاملمقایسه ی نظام مدیریت اطلاعات جمعیتی مرتبط با سلامت ایران با استاندارد سازمان ملل
Introduction: Inclusive, sufficient, precise and up to date information is necessary for planning in a health information system. Health Population Information Management System (HPIMS) is a system that collects, stores, retrieves, analyzes, interprets, and distributes health population information for prevention and treatment. The aim of this study was first to compare Health Population Infor...
متن کاملPerformance Evaluation of Medical Image Retrieval Systems Based on a Systematic Review of the Current Literature
Background and Aim: Image, as a kind of information vehicle which can convey a large volume of information, is important especially in medicine field. Existence of different attributes of image features and various search algorithms in medical image retrieval systems and lack of an authority to evaluate the quality of retrieval systems, make a systematic review in medical image retrieval system...
متن کاملHospital information systems interoperability in Iran
Introduction: Interoperability is needed when the Hospital Information System (HIS) data should be combined and shared with different systems. This study was aimed to determine the semantic and technical interoperability of hospital information systems of Iran’s health care centers and propose guidelines to create and develop interoperability of these centers. Methods: This descriptive st...
متن کاملInvestigation of the Status of IoT-Based Health Information Systems in a Three-Dimensional Conceptual Framework
Introduction: The ability to transfer data over the Internet of Things (IoT) to make right and timely decisions through accurate data collection has provided incredible interactive power and has resulted in an intelligent world with automated decision-making capability. The objective of this study was to investigate the status of IoT-based health information systems in a three-dimensional conce...
متن کامل